#ifndef V3S_PLATFORM_H
#define V3S_PLATFORM_H
#include <stdint.h>
#include <stdio.h>
#include <fcntl.h>
#include <unistd.h>


void adt_flash_init(void);
int32_t adt_flash_read(unsigned char *buf, unsigned int len);
int32_t adt_flash_write(unsigned char *buf, unsigned int len);
void adt_flash_write_nocheck(unsigned char *buf, unsigned int len);




#endif


